let f x = x;;
let g = f;;
if g true = true && g "toto" = "toto" && g 42 = 42 then
  print_endline "ok"
else
  print_endline "problem !!!"

let k = fun x -> x;;

k true;;
k 1;;
